Mathematical structures - PDFSEARCH.IO - Document Search Engine

Mathematical structures
Results: 764

#	Item
21	MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Problem Sheet 4 Jos´e A. Ca˜ nizo December 4, 2012 Add to Reading List Source URL: canizo.org Language: English - Date: 2015-01-23 17:41:58 Topology Mathematics General topology Space Topological spaces Mathematical structures Mathematical analysis Metric space Coherent topology Compact space Continuous function Connected space
22	Algorithms and Data Structures Winter TermExercises for Units 1 and 2 1. This sequence of exercises is supposed to illustrate that certain restrictions that we put on our RAM model are really necessary. If they Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-02-29 02:27:50 Mathematics Logarithms Multiplicative functions Analysis of algorithms Asymptotic analysis Big O notation Mathematical notation Prime number Greatest common divisor Prime number theorem Average order of an arithmetic function
23	PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 12, December 2010, Pages 4231–4242 SArticle electronically published on July 9, 2010 Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2015-01-13 05:18:35 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Ring theory Commutative algebra Semigroup Inverse element Cancellative semigroup Zero divisor Cover
24	COMP-201: Discrete Computational Structures (Fall 2008 Syllabus) Instructor: Y¨ucel Yemez, Rm: Eng-139, Email: , Phone: , Office hours: Tuesday/Thursday 14:30-15:30. Teaching Assistants: Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:07 Logic Mathematical logic Mathematics Boolean algebra Classical logic Propositional calculus Discrete mathematics Algorithm Academic dishonesty
25	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
26	Open Problems from the Workshop on Algebra and CSPs August, Fields Institute, Toronto September 30, 2011 This is a list of open problems from the algebra workshop which was a part of the Summer Thematic Program Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-09-30 16:25:49 Mathematics Universal algebra Abstract algebra Mathematical structures Quotient algebra Structure Algebraic structure Congruence-permutable algebra Idempotent Graph isomorphism problem FO
27	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
28	1071 Documenta Math. Moduli Spaces for Quilted Surfaces and Poisson Structures Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-10-19 13:30:29 Differential topology Theoretical physics Symplectic geometry Mathematical analysis Differential geometry Fiber bundles Group actions Symbol Connection Poisson manifold Moduli space Moment map
29	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation
30	Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-12-16 04:18:28 Mathematics Computing Mathematical logic Database theory Complexity classes Boolean algebra Algebraic structures Relational model Datalog Relational algebra Tuple FO